The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The theories of pre-existence and epigenesis are typically taken to be opposing theories of generation in the seventeenth and eighteenth centuries. One can be a pre-existence theorist only if one does not espouse epigenesis and vice versa. It has also been recognized, however, that the line between pre-existence and epigenesis in the nineteenth century, at least, is considerably less sharp and clear than it was in earlier centuries. The debate (1759-1777) between Albrecht von Haller and Caspar Friedrich Wolff on their (...) theories of generation is usually taken to be a debate between a pre-existence theorist and an epigeneticist, and the supposed fact that these two theories of generation are mutually exclusive explains (so the story goes) the divide between Haller and Wolff. However, it’s not clear that Haller endorsed an especially robust form of pre-existence, and nor is it clear that Wolff’s theory of generation -- once he considered it carefully -- is clear epigenetic. Rather, Haller’s theory of generation is marked by traces of epigensis and Wolff’s theory has elements of pre-existence theory. This is not to say that their theories of generation are basically the same, but the debate between the two ought not to be framed in terms of pre-existence versus epigenesis. Their points of difference must be explained in some other way. In this way, their controversy bears characteristics of similar disputes over generation in the nineteenth century more than it resembles those in the seventeenth century. In this paper, I argue that (a) Haller’s and Wolff’s theories both blend elements from pre-existence and epigenesis; (b) but there are still deeply-rooted differences between the two generation theories; (c) one source of these differences is that Haller and Wolff have divergent conceptions of what an adequate explanation is; (d) we can see that they have different conceptions of what constitutes an adequate explanation by paying heed to their evaluations of Descartes’ epistemology and methodology in his theory of generation (such as it is); and (e) this shows that one of the main differences between Haller’s generation theory and that of Wolff is the degree to which each thinks we need to (and indeed can) explain the nature of the causes -- both efficient and final -- at play during the formation of organic beings. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

This is an excellent book, meant for an informed lay readership. But one of the hesitations a some might harbor is that it lacks a prose style suitable to the widest audience. More thoughtful readers on the other hand will recognize here a challenge worth taking up rather than a deficiency needing editorial rescue. The favorable reception this book has received from hundreds of students and parishioners attests to the fact that its audience is wide enough to have a considerable (...) impact. So for them at least, the book's style befits its content. -/- And as for others, it may be no deep deficiency on any reader's part if s/he cannot fathom a particular style. (Think about discussions over the complexities of Greek exegesis: are only Greek scholars said to get to heaven?) St Therese of Lisieux would probably have little interest in a book like Christopher Morse's - and this says nothing about her spiritual status. But then this alone says nothing about the quality of Morse's finished project either. It hardly means that, in a book like this, many might not find just what they are seeking. (shrink)

Bence Nanay has argued that we must abandon the etiological theory of teleological function because this theory explains functions and functional categories in a circular manner. Paul Griffiths argued earlier that we should retain the etiological theory and instead prevent the circularity by making etiologies independent of functional categories. Karen Neander and Alex Rosenberg reply to Nanay similarly, and argue that we should analyze functions in terms of natural selection acting not on functional categories, but merely on lineages. Nanay (...) replies that these lineages cannot be individuated except by reference to functional categories. Worryingly, Neander and Rosenberg themselves have previously argued persuasively that homology often depends on function. This article addresses their arguments and shows how to escape them: Regardless whether the arguments are right about long-term homological categories, they do not apply to generation-to-generation homology. The latter, moreover, is sufficient for individuating the lineages needed to explain teleological functions. (shrink)

The mainstream view of meaning is that it is emergent, not fundamental, but some have disputed this, asserting that there is a more fundamental level of reality than that addressed by current physical theories, and that matter and meaning are in some way entangled. In this regard there are intriguing parallels between the quantum and biological domains, suggesting that there may be a more fundamental level underlying both. I argue that the organisation of this fundamental level is already to a (...) considerable extent understood by biosemioticians, who have fruitfully integrated Peirce’s sign theory into biology; things will happen there resembling what happens with familiar life, but the agencies involved will differ in ways reflecting their fundamentality, in other words they will be less complex, but still have structures complex enough for what they have to do. According to one approach involving a collaboration with which I have been involved, a part of what they have to do, along with the need to survive and reproduce, is to stop situations becoming too chaotic, a concept that accords with familiar ‘edge of chaos’ ideas. Such an extension of sign theory (semiophysics?) needs to be explored by physicists, possible tools being computational models, existing insights into complexity, and dynamical systems theory. Such a theory will not be mathematical in the same way that conventional physics theories are mathematical: rather than being foundational, mathematics will be ‘something that life does’, something that sufficiently evolved life does because in the appropriate context so doing is of value to life. (shrink)

The file on this site provides the slides for a lecture given in Hangzhou in May 2018, and the lecture itself is available at the URL beginning 'sms' in the set of links provided in connection with this item. -/- It is commonly assumed that regular physics underpins biology. Here it is proposed, in a synthesis of ideas by various authors, that in reality structures and mechanisms of a biological character underpin the world studied by physicists, in principle supplying detail (...) in the domain that according to regular physics is of an indeterminate character. In regular physics mathematical equations are primary, but this constraint leads to problems with reconciling theory and reality. Biology on the other hand typically does not characterise nature in quantitative terms, instead investigating in detail important complex interrelationships between parts, leading to an understanding of the systems concerned that is in some respects beyond that which prevails in regular physics. It makes contact with quantum physics in various ways, for example in that both involve interactions between observer and observed, an insight that explains what is special about processes involving observation, justifying in the quantum physics context the replacement of the unphysical many-worlds picture by one involving collapse. The link with biology furthermore clarifies Wheeler’s suggestion that a multiplicity of observations can lead to the ‘fabrication of form’, including the insight that this process depends on very specific ‘structures with power’ related to the 'semiotic scaffolding' of the application of sign theory to biology known as biosemiotics. -/- The observer-observed 'circle' of Wheeler and Yardley is a special case of a more general phenomenon, oppositional dynamics, related to the 'intra-action' of Barad's Agential Realism, involving cooperating systems such as mind and matter, abstract and concrete, observer and observed, that preserve their identities while interacting with one another in such a way as to act as a unit. A third system may also be involved, the mediating system of Peirce linking the two together. Such a situation of changing connections and separations may plausibly lead in the future to an understanding of how complex systems are able to evolve to produce 'life, the universe and everything'. -/- (Added 1 July 2018) The general structure proposed here as an alternative to a mathematics-based physics can be usefully characterised by relating it to different disciplines and the specialised concepts utilised therein. In theoretical physics, the test for the correctness of a theory typically involves numerical predictions, corresponding to which theories are expressed in terms of equations, that is to say assertions that two quantities have identical values. Equations have a lesser significance in biology which typically talks in terms of functional mechanisms, dependent for example on details of chemistry and concepts such as genes, natural selection, signals and geometrical or topologically motivated concepts such as the interconnections between systems and the unfolding of DNA. Biosemiotics adds to this the concept of signs and their interpretation, implying novel concepts such as semiotic scaffolding and the semiosphere, code duality, and appreciation of the different types of signs, including symbols and their capacity for abstraction and use in language systems. Circular Theory adds to this picture, as do the ideas of Barad, considerations such as the idea of oppositional dynamics. The proposals in this lecture can be regarded as the idea that concepts such as those deriving from biosemiotics have more general applicability than just conventional biology and may apply, in some circumstances, to nonlinear systems generally, including the domain new to science hypothesised to underlie the phenomena of present-day physics. -/- The task then has to be to restore the mathematical aspect presumed, in this picture, not to be fundamental as it is in conventional theory. Deacon has invoked a complex sequence of evolutionary steps to account for the emergence over time of human language systems, and correspondingly mathematical behaviour can be subsumed under the general evolutionary mechanisms of biosemiotics (cf. also the proposals of Davis and Hersh regarding the nature of mathematics), so that the mathematical behaviour of physical systems is consistent with the proposed scheme. In conclusion, it is suggested that theoretical physicists should cease expecting to find some universal mathematical ‘theory of everything’, and focus instead on understanding in more detail complex systems exhibiting behaviour of a biological character, extending existing understanding. This may in time provide a more fruitful understanding of the natural world than does the regular approach. The essential concepts have an observational basis from both biology and the little-known discipline of cymatics (a discipline concerned with the remarkable patterns that specific waveforms can give rise to), while again computer simulations also offer promise in providing insight into the complex behaviours involved in the above proposals. -/- References -/- Jesper Hoffmeyer, Semiotic Scaffolding of Living Systems. Commens, a Digital Companion to C. S. Peirce (on Commens web site). Terrence Deacon, The Symbolic Species, W.W. Norton & Co. Karen Barad, Meeting the Universe Halfway: Quantum Physics and the Entanglement of Matter and Meaning, Duke University Press. Philip Davis and Reuben Hersh, The Mathematical Experience, Penguin. Ilexa Yardley, Circular Theory. (shrink)

(v.3) In this paper it is argued that Barad's Agential Realism, an approach to quantum mechanics originating in the philosophy of Niels Bohr, can be the basis of a 'theory of everything' consistent with a proposal of Wheeler that 'observer-participancy is the foundation of everything'. On the one hand, agential realism can be grounded in models of self- organisation such as the hypercycles of Eigen, while on the other agential realism, by virtue of the 'discursive practices' that constitute one aspect (...) of the theory, implies the possibility of the generation of physical phenomena through acts of specification originating at a more fundamental level. This kind of order stems from the association of persisting structures with special mechanisms for sustaining such structures. Included in phenomena that may be generated by these mechanisms are the origin and evolution of life, and human capacities such as mathematical and musical intuition. (shrink)

Afin d’échapper au dilemme de la fondation, Karen Bennett a proposé une thèse selon laquelle la relation de fondation serait superinterne, c’est-à-dire qu’elle reposerait entièrement sur la nature du relatum de gauche. Si cette approche peut de prime abord sembler particulièrement convaincante en raison de sa simplicité et de son élégance, un examen plus minutieux révèle toutefois d’importantes difficultés. Dans cet article, j’élabore de nombreuses critiques contre la thèse de la superinternalité qui s’avère moins intuitive qu’elle ne le laisse (...) paraître. Je considère ensuite l’alternative que représente la sémantique métaphysique développée par Ted Sider. (shrink)

Ecofeminist philosophy is a development of feminist philosophy that addresses the intersection of sexism and environmental issues. Coined by Francoise d’Eaubonne, the term “ecofeminism” refers to a diverse collection of feminist thought that shares the conviction that the present environmental crisis is due not solely to the anthropomorphic nature of dominant conceptualisations of human-nature relations, with their emphasis on notion of mastery and control, but also to their androcentric nature. Technology features frequently in ecofeminist writings, in analyses of technocracy (Birkeland (...) 1993), Nuclear Power (Caputi 1993), reproductive technologies (Diamond 1990), or the production of computer interfaces (Romberger 2011), to give but a few examples. Despite being a recurrent theme, technology itself as a phenomenon is rarely directly considered. For many ecofeminists technology seems to operate as an umbrella term for a collection of artefacts whose positive or negative characteristics are ultimately contingent upon the manner in which they are employed. The individual technologies appear as value neutral. There are of course exceptions to this piecemeal approach to technological artefacts, and in this chapter I shall focus upon two ecofeminist philosophers whose consideration of technology moves from the individual instance towards a more general account of the nature of technology. The first, Karen Warren, gives technology a central place in her philosophical analysis. However, I shall suggest, her commitment to an instrumental understanding of technology renders her approach problematic. I will then consider the work of Vandana Shiva. Standard analyses of Shiva’s work tend to overlook the philosophical dimensions of her thought, in particular the continuous emphasis on science and technology. I argue that Shiva puts forward a sophisticated technological determinist philosophy of that emphasises the role of political and patriarchal interests in technological development and subsequent social and environmental interventions. (shrink)

Enligt ett realistiskt synsätt kan ett påstående vara sant trots att det inte ens i princip är möjligt att veta att det är sant. En sanningsteoretisk antirealist kan inte godta denna möjlighet utan accepterar en eller annan version av Dummetts vetbarhetsprincip: (K) Om ett påstående är sant, så måste det i princip vara möjligt att veta att det är sant. Det kan dock förefalla rimligt, även för en antirealist, att gå̊ med på̊ att det kan finnas sanningar som ingen faktiskt (...) vet (har vetat, eller kommer att veta) är sanna. Man kan därför tänka sig att en antirealist skulle acceptera principen (K) utan att därför gå med på den till synes starkare principen: (SK) Om ett påstående är sant, så måste det faktiskt finnas någon som vet att det är sant. Ett mycket omdiskuterat argument – som ytterst går tillbaka till Alonzo Church, men som först publicerades i en uppsats av Frederic Fitch i Journal of Symbolic Logic 1963 – tycks emellertid visa att principen (K) implicerar principen (SK). Anta nämligen att (K) är sann, medan (SK) inte är det. Men om (SK) är falsk, så finns det ett påstående som är sant men som ingen faktiskt vet är sant. Anta nu att p är ett sådant påstående. Låt Kp betyda att någon vet att p är sant. Det galler alltså̊ att p är sant samtidigt som Kp inte är det. Betrakta nu påståendet (p ∧ −Kp). Enligt antagandet är detta påstående sant. Enligt (K) måste det då vara möjligt att någon vet att (p ∧ −Kp). D.v.s., det måste vara möjligt att påståendet K(p ∧ −Kp) är sant. Men i så fall är det också̊ möjligt att påståendet Kp ∧ K−Kp är sant, vilket i sin tur implicerar att det är möjligt att Kp ∧ −Kp är sant, vilket ju är absurt. Således kan inte (K) vara sann samtidigt som (SK) är falsk. Vi tycks således kunna sluta oss till att (K) implicerar (SK). I uppsatsen diskuterar jag några olika sätt att undgå̊ Church-Fitch paradoxala slutsats. Ett tillvägagångssätt är att ersätta kunskapsoperatorn med en hierarki av kunskapspredikat. Ett annat är baserat på distinktionen mellan faktisk och potentiell kunskap och ett förkastande av den vanliga modallogiska formaliseringen av principen (K). Den senare typen av lösning betraktas både från ett realistiskt och ett icke-realistiskt perspektiv. Utifrån denna analys kommer jag fram till slutsatsen att vi, vare sig vi är realister eller antirealister rörande sanning, kan sluta oroa oss för vetbarhetsparadoxen och ändå uppskatta Church-Fitchs argument. (shrink)

Medieval accounts of diachronically unified consciousness have been overlooked by contemporary readers, because medieval thinkers have a unique and unexpected way of setting up the problem. This paper examines the approach to diachronically unified consciousness that is found in Augustine’s and Aquinas’s treatments of memory. For Augustine, although the mind is “distended” by time, it remains resilient, stretching across disparate moments to unify past, present, and future in a single personal present. Despite deceptively different phrasing, Aquinas develops a remarkably similar (...) view when, in order to accommodate Aristotle’s view of memory to Augustine’s, he insists that an implicit self-awareness “time-stamps” all intellectual acts. According to their shared approach, diachronic unified consciousness is the result of the curious way in which the mind is both drawn into and transcends the temporal succession of its own acts. (shrink)

Many philosophers are impressed by the progress achieved by physical sciences. This has had an especially deep effect on their ontological views: it has made many of them physicalists. Physicalists believe that everything is physical: more precisely, that all entities, properties, relations, and facts are those which are studied by physics or other physical sciences. They may not all agree with the spirit of Rutherford's quoted remark that 'there is physics; and there is stamp-collecting',' but they all grant physical science (...) a unique ontological authority: the authority to tell us what there is. Physicalism is now almost orthodox in much philosophy, notably in much recent philosophy of mind. But although often invoked, it is rarely explicitly defined. It should be. The claim that everything is physical is not as clear as it seems. In this paper, we examine a number of proposed definitions of physicalism and reasons for being a physicalist. We will argue both that physicalism lacks a clear and credible definition, and that in no non-vacuous interpretation is it true. We are concerned here only with physicalism as a doctrine about the empirical world. In particular, it should not be confused with nominalism, the doctrine that there are no universals.2 Nominalism and physicalism are quite independent doctrines. Believers in universals may as consistently assert as deny that the only properties and relations are those studied by physical science. And nominalists may with equal consistency assert or deny that physical science could provide enough predicates to describe the world. That is the question which concerns physicalists, not whether physical predicates name real universals. (We will for brevity write as if they do, but we do not need that assumption.). (shrink)

One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical view per (...) se face significant independent moral objections. Yet despite these concerns, I maintain that free will skepticism leaves intact other ways to respond to criminal behavior—in particular preventive detention, rehabilitation, and alteration of relevant social conditions—and that these methods are both morally justifiable and sufficient for good social policy. The position I defend is similar to Derk Pereboom’s, taking as its starting point his quarantine analogy, but it sets out to develop the quarantine model within a broader justificatory framework drawn from public health ethics. The resulting model—which I call the public health -quarantine model—provides a framework for justifying quarantine and criminal sanctions that is more humane than retributivism and preferable to other non-retributive alternatives. It also provides a broader approach to criminal behavior than Pereboom’s quarantine analogy does on its own. (shrink)

La investigación se llevó a cabo en el Hospital Básico de Baeza, ubicado en el cantón Quijos, provincia de Napo, con el objetivo de utilizar el Mapa Cognitivo Neutrosófico para analizar los factores que contribuyen al desabastecimiento de insumos médicos. A través de este enfoque, se identificaron varios elementos críticos que afectan la disponibilidad de insumos médicos en el hospital. Entre los factores más significativos se encontraron la falta de proveedores, la ausencia de postulación para la adjudicación de órdenes de (...) compra, proveedores impagos, y prolongados tiempos de entrega de medicamentos y dispositivos médicos. Además, se observó que las compras centralizadas y la carencia de vehículos para el transporte de insumos obstaculizaban el proceso de abastecimiento. Otra complicación radicó en que las cantidades de medicamentos y dispositivos entregados eran mínimas y la falta de espacio físico adecuado para su almacenamiento dificultaba aún más la situación. A pesar de que se realizó un levantamiento de necesidades, se evidenció una deficiencia en la comunicación entre el personal del hospital y quienes manejan los procesos de adquisición, lo que contribuyó al problema. Como parte de la propuesta de solución, se implementó un plan de intervención que incluyó un monitoreo diario, destinado a reducir los factores que provocan el desabastecimiento de insumos médicos. Esta estrategia no solo busca mejorar el flujo de insumos, sino también optimizar la coordinación entre los diferentes actores involucrados en el proceso de adquisición, fomentando así una atención médica más eficiente en el Hospital Básico de Baeza. (shrink)

Much of the recent philosophical discussion about free will has been focused on whether compatibilists can adequately defend how a determined agent could exercise the type of free will that would enable the agent to be morally responsible in what has been called the basic desert sense :5–24, 1994; Fischer in Four views on free will, Wiley, Hoboken, 2007; Vargas in Four views on free will, Wiley, Hoboken, 2007; Vargas in Philos Stud, 144:45–62, 2009). While we agree with Derk Pereboom (...) and others that the compatibilist’s burden should be properly understood as providing a compelling account of how a determined agent could be morally responsible in the basic desert sense, the exact nature of this burden has been rendered somewhat unclear by the fact that there has been no definitive account given as to what the basic desert sense of moral responsibility amounts to. In Sect. 1 we set out to clarify the compatibilist’s burden by presenting our account of basic desert moral responsibility—which we call retributivist desert moral responsibility for purposes of clarity—and explain why it is of central philosophical and practical importance to the free will debate. In Sect. 2 we employ a thought experiment to illustrate the kind of difficulty that compatibilists of any stripe are likely to encounter in attempting to explain how determined agents can exercise the kind of free will needed for retributivist desert moral responsibility. (shrink)

Ian Rumfitt has argued that rational adjudication against classical logic in quantum mechanics is not only unnecessary, but impossible as well. This paper explains why his argument fails.

The Axis II Work Group of the Task Force on Diagnostic and Statistical Manual of Mental Disorders (DSM-IV) has expressed concern that antisocial personality disorder (APD) criteria are too long and cumbersome and that they focus on antisocial behaviors rather than personality traits central to traditional conceptions of psychopathy and to international criteria. R. D. Hare et al describe an alternative to the approach taken in the DSM-III—Revised (DSM-III—R; American Psychiatric Association, 1987), namely, the revised Psychopathy Checklist. The authors also (...) discuss the multisite APD field trials designed to evaluate and compare 4 criteria sets: the DSM-III—R criteria, a shortened list of these criteria, the criteria for dyssocial personality disorder from the 10th edition of the International Classification of Diseases (World Health Organization, 1990), and a 10-item criteria set for psychopathic personality disorder derived from the revised Psychopathy Checklist. (PsycINFO Database Record (c) 2015 APA, all rights reserved). (shrink)

Within the United States, the most prominent justification for criminal punishment is retributivism. This retributivist justification for punishment maintains that punishment of a wrongdoer is justified for the reason that she deserves something bad to happen to her just because she has knowingly done wrong—this could include pain, deprivation, or death. For the retributivist, it is the basic desert attached to the criminal’s immoral action alone that provides the justification for punishment. This means that the retributivist position is not reducible (...) to consequentialist considerations nor in justifying punishment does it appeal to wider goods such as the safety of society or the moral improvement of those being punished. A number of sentencing guidelines in the U.S. have adopted desert as their distributive principle, and it is increasingly given deference in the “purposes” section of state criminal codes, where it can be the guiding principle in the interpretation and application of the code’s provisions. Indeed, the American Law Institute recently revised the Model Penal Code so as to set desert as the official dominate principle for sentencing. And courts have identified desert as the guiding principle in a variety of contexts, as with the Supreme Court’s enthroning retributivism as the “primary justification for the death penalty.” While retributivism provides one of the main sources of justification for punishment within the criminal justice system, there are good philosophical and practical reasons for rejecting it. One such reason is that it is unclear that agents truly deserve to suffer for the wrongs they have done in the sense required by retributivism. In the first section, I explore the retributivist justification of punishment and explain why it is inconsistent with free will skepticism. In the second section, I then argue that even if one is not convinced by the arguments for free will skepticism, there remains a strong epistemic argument against causing harm on retributivist grounds that undermines both libertarian and compatibilist attempts to justify it. I maintain that this argument provides sufficient reason for rejecting the retributive justification of criminal punishment. I conclude in the third section by briefly sketching my public health-quarantine model, a non-retributive alternative for addressing criminal behavior that draws on the public health framework and prioritizes prevention and social justice. I argue that the model is not only consistent with free will skepticism and the epistemic argument against retributivism, it also provides the most justified, humane, and effective way of dealing with criminal behavior. (shrink)

What does it mean to be an embodied thinker of abstract concepts? Does embodiment shape the character and quality of our understanding of universals such as 'dog' and 'beauty', and would a non-embodied mind understand such concepts differently? I examine these questions through the lens of Thomas Aquinas’s remarks on the differences between embodied (human) intellects and non-embodied (angelic) intellects. In Aquinas, I argue, the difference between embodied and non-embodied intellection of extramental realities is rooted in the fact that embodied (...) and non-embodied intellects grasp different kinds of universals by means of different kinds of intelligible species (intellectual likenesses), which elicit in them different “modes” of understanding. By spelling out what exactly it means to be an embodied knower, on Aquinas’s account, I argue, we can also shed new light on his mysterious claim that the embodied intellect “turns to phantasms”—the imagination’s likenesses of individuals—in its acts of understanding. (shrink)

Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, using examples (...) from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory. (shrink)

We investigate claims about the frequency of "know" made by philosophers. Our investigation has several overlapping aims. First, we aim to show what is required to confirm or disconfirm philosophers’ claims about the comparative frequency of different uses of philosophically interesting expressions. Second, we aim to show how using linguistic corpora as tools for investigating meaning is a productive methodology, in the sense that it yields discoveries about the use of language that philosophers would have overlooked if they remained in (...) their "armchairs of an afternoon", to use J.L. Austin’s phrase. Third, we discuss facts about the meaning of "know" that so far have been ignored in philosophy, with the aim of reorienting discussions of the relevance of ordinary language for philosophical theorizing. (shrink)

Debate on free will with Christian List, Gregg Caruso, and Cory Clark. The exchange is focused on Christian List's book Why Free Will Is Real.

If I were asked to put forward an ethical principle which I considered to be especially certain, it would be that no one can be responsible, in the properly ethical sense, for the conduct of another. Responsibility belongs essentially to the individual. The implications of this principle are much more far-reaching than is evident at first, and reflection upon them may lead many to withdraw the assent which they might otherwise be very ready to accord to this view of responsibility. (...) But if the difficulties do appear to be insurmountable, and that, very certainly, does not seem to me to be the case, then the proper procedure will be, not to revert to the barbarous notion of collective or group responsibility, but to give up altogether the view that we are accountable in any distinctively moral sense. (shrink)

According to Margaret Cavendish the entire natural world is essentially rational such that everything thinks in some way or another. In this paper, I examine why Cavendish would believe that the natural world is ubiquitously rational, arguing against the usual account, which holds that she does so in order to account for the orderly production of very complex phenomena (e.g. living beings) given the limits of the mechanical philosophy. Rather, I argue, she attributes ubiquitous rationality to the natural world in (...) order to ground a theory of the ubiquitous freedom of nature, which in turn accounts for both the world's orderly and disorderly behavior. (shrink)

Background: Recent literature on addiction and judgments about the characteristics of agents has focused on the implications of adopting a ‘brain disease’ versus ‘moral weakness’ model of addiction. Typically, such judgments have to do with what capacities an agent has (e.g., the ability to abstain from substance use). Much less work, however, has been conducted on the relationship between addiction and judgments about an agent’s identity, including whether or to what extent an individual is seen as the same person after (...) becoming addicted. Methods: We conducted a series of vignette-based experiments (total N = 3,620) to assess lay attitudes concerning addiction and identity persistence, systematically manipulating key characteristics of agents and their drug of addiction. Conclusions: In Study 1, we found that US participants judged an agent who became addicted to drugs as being closer to ‘a completely different person’ than ‘completely the same person’ as the agent who existed prior to the addiction. In Studies 2-6, we investigated the intuitive basis for this result, finding that lay judgments of altered identity as a consequence of drug use and addiction are driven primarily by perceived negative changes in the moral character of drug users, who are seen as having deviated from their good true selves. (shrink)

In seeking an answer to the question of what it means for a theory to be fundamental, it is enlightening to ask why the current best theories of physics are not generally believed to be fundamental. This reveals a set of conditions that a theory of physics must satisfy in order to be considered fundamental. Physics aspires to describe ever deeper levels of reality, which may be without end. Ultimately, at any stage we may not be able to tell whether (...) we've reached rock bottom, or even if there is a base level – nevertheless, I draft a checklist to help us identify when to stop digging, in the case where we may have reached a candidate for a final theory. Given that the list is – according to (current) mainstream belief in high-energy physics – complete, and each criterion well-motivated, I argue that a physical theory that satisfies all the criteria can be assumed to be fundamental in the absence of evidence to the contrary (i.e., I argue that the necessary conditions are jointly sufficient for a claim of fundamentality in physics). (shrink)

An elderly patient in a care home only wants human nurses to provide her care – not robots. If she selected her carers based on skin colour, it would be seen as racist and morally objectionable, but is choosing a human nurse instead of a robot also morally objectionable and speciesist? A plausible response is that it is not, because humans provide a better standard of care than robots do, making such a choice justifiable. In this paper, I show why (...) this response is incorrect, because robots can theoretically care as well as human nurses can. I differentiate between practical caring and emotional caring, and I argue that robots can match the standard of practical care given by human nurses, and they can simulate emotional care. There is growing evidence that people respond positively to robotic creatures and carebots, and AI software is apt to emotionally support patients in spite of the machine’s own lack of emotions. I make the case that the appearance of emotional care is sufficient, and need not be linked to emotional states within the robot. After all, human nurses undoubtedly ‘fake’ emotional care and compassion sometimes, yet their patients still feel adequately cared for. I show that it is a mistake to claim that ‘the human touch’ is in itself a contributor to a higher standard of care; ‘the robotic touch’ will suffice. Nevertheless, it is not speciesist to favour human nurses over carebots, because carebots do not suffer as the result of such a choice. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

Principles are central to physical reasoning, particularly in the search for a theory of quantum gravity (QG), where novel empirical data is lacking. One principle widely adopted in the search for QG is UV completion: the idea that a theory should (formally) hold up to all possible high energies. We argue---/contra/ standard scientific practice---that UV-completion is poorly-motivated as a guiding principle in theory-construction, and cannot be used as a criterion of theory-justification in the search for QG. For this, we explore (...) the reasons for expecting, or desiring, a UV-complete theory, as well as analyse how UV completion is used, and how it should be used, in various specific approaches to QG. (shrink)

There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumental value of prediction. By examining the various reasons offered for the value of prediction across a range of inferential contexts , we (...) can see that neither weak nor strong predictivism captures all of the reasons for valuing prediction available. A third path is presented, Pluralist Instrumental Predictivism; PIP for short. (shrink)

Metaethical expressivism is typically characterised as the view that normative statements express desire-like attitudes instead of beliefs. However, in this paper I argue that expressivists should claim that normative statements express beliefs in normative propositions, and not merely in some deflationary sense but in a theoretically robust sense explicated by a theory of propositional attitudes. I first argue that this can be achieved by combining an interpretationist understanding of belief with a nonfactualist view of normative belief content. This results in (...) a view I call ‘interpretative expressivism’. I then argue that traditional arguments employed by expressivists that normative statements express noncognitive attitudes can just as well support the claim that normative statements express nonfactual or nonrepresentational beliefs. Finally, I argue that this view has a number of advantages to versions of expressivism that deny that normative statements express non-deflationary normative beliefs. (shrink)

A great achievement makes one’s life go better independently of its results, but what makes an achievement great? A simple answer is—its difficulty. I defend this view against recent, pressing objections by interpreting difficulty in terms of competitiveness. Difficulty is determined not by how hard the agent worked for the end but by how hard others would need to do in order to compete. Successfully reaching a goal is a valuable achievement because it is difficult, and it is difficult because (...) it is competitive. Hence, both virtuosic performances and lucky successes can be valuable achievements. (shrink)

Between 1653 and 1655 Margaret Cavendish makes a radical transition in her theory of matter, rejecting her earlier atomism in favour of an infinitely-extended and infinitely-divisible material plenum, with matter being ubiquitously self-moving, sensing, and rational. It is unclear, however, if Cavendish can actually dispense of atomism. One of her arguments against atomism, for example, depends upon the created world being harmonious and orderly, a premise Cavendish herself repeatedly undermines by noting nature’s many disorders. I argue that her supposed difficulties (...) with atomism expose a deeper tension in her work between two fundamental metaphysical commitments each of which has substantial philosophical support: her monist theory of the material world (which maintains that there exists just one natural substance which is the single principal cause) and her occasional theory of causation (which requires multiple finite principal causes in nature -- causes that might be considered individual substances). Her monism undermines atomism while her theory of occasional cause seems to rest on a conception of nature that would be especially friendly to atomism. I argue further that we can solve this tension within a Cavendishian framework in such a way as to preserve her theory of causation and her monism, but that this solution depends upon our taking her monism in a particular (and weak) form. I finally note that we can best make sense of her unique and interesting form of monism by acknowledging her social-political motivations in addition to her motivations in natural philosophy. (shrink)

I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of the semantics.

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...) things considered. (shrink)

This article examines the thoughts and works of Catholic philosopher Jacques Maritain and evangelical philosopher Norman Geisler in light of their understanding of Thomas Aquinas’s view of faith and reason.

I think that there is an awful lot wrong with the exclusion problem. So, it seems, does just about everybody else. But of course everyone disagrees about exactly _what_ is wrong with it, and I think there is more to be said about that. So I propose to say a few more words about why the exclusion problem is not really a problem after all—at least, not for the nonreductive physicalist. The genuine _dualist_ is still in trouble. Indeed, one of (...) my main points will be that the nonreductive physicalist is in a rather different position vis à vis the exclusion problem than the dualist is. Properly understanding nonreductive physicalism—and clearly recognizing that it is, after all, a form of _physicalism_—goes a long way toward solving the exclusion problem. (shrink)

In a recent reply to our article, “What is Interpretability?,” Prasetya argues against our position that artificial neural networks are explainable. It is claimed that our indefeasibility thesis—that adding complexity to an explanation of a phenomenon does not make the phenomenon any less explainable—is false. More precisely, Prasetya argues that unificationist explanations are defeasible to increasing complexity, and thus, we may not be able to provide such explanations of highly complex AI models. The reply highlights an important lacuna in our (...) original paper, the omission of the unificationist account of explanation, and affords us the opportunity to respond. Here, we argue that artificial neural networks are explainable in a way that should satisfy unificationists and that interpretability methods present ways in which ML theories can achieve unification. (shrink)

In September 2015 a well-publicised Campaign Against Sex Robots (CASR) was launched. Modelled on the longer-standing Campaign to Stop Killer Robots, the CASR opposes the development of sex robots on the grounds that the technology is being developed with a particular model of female-male relations (the prostitute-john model) in mind, and that this will prove harmful in various ways. In this chapter, we consider carefully the merits of campaigning against such a technology. We make three main arguments. First, we argue (...) that the particular claims advanced by the CASR are unpersuasive, partly due to a lack of clarity about the campaign’s aims and partly due to substantive defects in the main ethical objections put forward by campaign’s founder(s). Second, broadening our inquiry beyond the arguments proferred by the campaign itself, we argue that it would be very difficult to endorse a general campaign against sex robots unless one embraced a highly conservative attitude towards the ethics of sex, which is likely to be unpalatable to those who are active in the campaign. In making this argument we draw upon lessons from the campaign against killer robots. Finally, we conclude by suggesting that although a generalised campaign against sex robots is unwarranted, there are legitimate concerns that one can raise about the development of sex robots. (shrink)

A question, long discussed by legal scholars, has recently provoked a considerable amount of philosophical attention: ‘Is it ever appropriate to base a legal verdict on statistical evidence alone?’ Many philosophers who have considered this question reject legal reliance on bare statistics, even when the odds of error are extremely low. This paper develops a puzzle for the dominant theories concerning why we should eschew bare statistics. Namely, there seem to be compelling scenarios in which there are multiple sources of (...) incriminating statistical evidence. As we conjoin together different types of statistical evidence, it becomes increasingly incredible to suppose that a positive verdict would be impermissible. I suggest that none of the dominant views in the literature can easily accommodate such cases, and close by offering a diagnosis of my own. (shrink)

In this paper, I intend to deny the morality and instrumentality of the behavior known as bestiality, or the use of non-human animals for sexual gratification by human beings. While to most modern peoples, this hardly even seems like it should be in question, it should be the nature of the human mind to occasionally question long-standing traditional moray in the hopes of finding solutions to problems and the disbanding of superstition. It has been proposed that the moral question, and (...) by extension the legal question, of bestiality is based on traditions long outlived and unnecessary. In an IceNews.is article written in 2008, Norwegian lawyers were growing concerned over the prevalence of animal brothels in Denmark and the precedent it set for Norway [http://www.icenews.is, 2008]. The article, when coupled with the 2001 article title “Heavy Petting” by prominent Utilitarian philosopher, Peter Singer, proves that the issue of bestiality is no longer the purview of jokes and psychological discussions. I will argue against bestiality as a socially acceptable practice based on five standard premises. The standard premises I will present will contain notes in regard to: instrumentality; consent; disease transmission; deviance; and morality. There is significant work available on the harm done to the beast, so aside from brief summary; the question of the good of the beast is not in the focus. I will also ignore any religious concerns, either surrounding morality or freedom of practice. Instead, these arguments are in support of the moral identity of the individual and of society as a whole. (shrink)

Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.

The practice of Emergency Management in Michigan raises anew the question of whose knowledge matters to whom and for what reasons, against the background of what projects, challenges, and systemic imperatives. In this paper, I offer a historical overview of state intervention laws across the United States, focusing specifically on Michigan’s Emergency Manager laws. I draw on recent analyses of these laws to develop an account of a phenomenon that I call epistemic redlining, which, I suggest, is a form of (...) group-based credibility discounting not readily countenanced by existing, ‘culprit-based’ accounts of epistemic injustice. I argue that epistemic redlining plays a crucial role in ongoing projects of racialized subordination and dispossession in Michigan, and that such discounting tends to have structural causes that can be difficult to identify and uproot. Contrary to the general thrust of recent work on the topic, I argue that epistemic redlining ought to be understood as a form of epistemic injustice. (shrink)

Now it is plain that such consequences as these conflict sharply with common-sense notions of morality. If we had been obliged to accept Psychological Egoism, in any of its narrower forms, on its merits, we should have had to say: 'So much the worse for the common-sense notions of morality!' But, if I am right, the morality of common sense, with all its difficulties and incoherences, is immune at least to attacks from the basis of Psychological Egoism.